<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>InFact: src/infact/environment-impl.h Source File</title>

<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css" />

<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>

</head>
<body>
<div id="top"><!-- do not remove this div! -->


<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  
  
  <td style="padding-left: 0.5em;">
   <div id="projectname">InFact
   
   </div>
   <div id="projectbrief">Interpreter and factory for easily creating C++ objects at run-time</div>
  </td>
  
  
  
 </tr>
 </tbody>
</table>
</div>

<!-- Generated by Doxygen 1.7.6.1 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="namespaces.html"><span>Namespaces</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
      <li><a href="globals.html"><span>File&#160;Members</span></a></li>
    </ul>
  </div>
</div>
<div class="header">
  <div class="headertitle">
<div class="title">src/infact/environment-impl.h</div>  </div>
</div><!--header-->
<div class="contents">
<a href="environment-impl_8h.html">Go to the documentation of this file.</a><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="comment">// Copyright 2014, Google Inc.</span>
<a name="l00002"></a>00002 <span class="comment">// All rights reserved.</span>
<a name="l00003"></a>00003 <span class="comment">//</span>
<a name="l00004"></a>00004 <span class="comment">// Redistribution and use in source and binary forms, with or without</span>
<a name="l00005"></a>00005 <span class="comment">// modification, are permitted provided that the following conditions are</span>
<a name="l00006"></a>00006 <span class="comment">// met:</span>
<a name="l00007"></a>00007 <span class="comment">//</span>
<a name="l00008"></a>00008 <span class="comment">//   * Redistributions of source code must retain the above copyright</span>
<a name="l00009"></a>00009 <span class="comment">//     notice, this list of conditions and the following disclaimer.</span>
<a name="l00010"></a>00010 <span class="comment">//   * Redistributions in binary form must reproduce the above</span>
<a name="l00011"></a>00011 <span class="comment">//     copyright notice, this list of conditions and the following disclaimer</span>
<a name="l00012"></a>00012 <span class="comment">//     in the documentation and/or other materials provided with the</span>
<a name="l00013"></a>00013 <span class="comment">//     distribution.</span>
<a name="l00014"></a>00014 <span class="comment">//   * Neither the name of Google Inc. nor the names of its</span>
<a name="l00015"></a>00015 <span class="comment">//     contributors may be used to endorse or promote products derived from</span>
<a name="l00016"></a>00016 <span class="comment">//     this software without specific prior written permission.</span>
<a name="l00017"></a>00017 <span class="comment">//</span>
<a name="l00018"></a>00018 <span class="comment">// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS</span>
<a name="l00019"></a>00019 <span class="comment">// &quot;AS IS&quot; AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT</span>
<a name="l00020"></a>00020 <span class="comment">// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR</span>
<a name="l00021"></a>00021 <span class="comment">// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT</span>
<a name="l00022"></a>00022 <span class="comment">// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,</span>
<a name="l00023"></a>00023 <span class="comment">// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT</span>
<a name="l00024"></a>00024 <span class="comment">// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,</span>
<a name="l00025"></a>00025 <span class="comment">// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY</span>
<a name="l00026"></a>00026 <span class="comment">// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT</span>
<a name="l00027"></a>00027 <span class="comment">// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE</span>
<a name="l00028"></a>00028 <span class="comment">// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.</span>
<a name="l00029"></a>00029 <span class="comment">// -----------------------------------------------------------------------------</span>
<a name="l00030"></a>00030 <span class="comment">//</span>
<a name="l00031"></a>00031 <span class="comment">//</span>
<a name="l00036"></a>00036 <span class="comment"></span>
<a name="l00037"></a>00037 <span class="preprocessor">#ifndef INFACT_ENVIRONMENT_IMPL_H_</span>
<a name="l00038"></a>00038 <span class="preprocessor"></span><span class="preprocessor">#define INFACT_ENVIRONMENT_IMPL_H_</span>
<a name="l00039"></a>00039 <span class="preprocessor"></span>
<a name="l00040"></a>00040 <span class="preprocessor">#include &lt;sstream&gt;</span>
<a name="l00041"></a>00041 <span class="preprocessor">#include &lt;string&gt;</span>
<a name="l00042"></a>00042 <span class="preprocessor">#include &lt;unordered_map&gt;</span>
<a name="l00043"></a>00043 <span class="preprocessor">#include &lt;unordered_set&gt;</span>
<a name="l00044"></a>00044 <span class="preprocessor">#include &lt;typeinfo&gt;</span>
<a name="l00045"></a>00045 
<a name="l00046"></a>00046 <span class="preprocessor">#include &quot;<a class="code" href="environment_8h.html" title="Provides an interface for an Environment, which contains a map from variables of a specific type (pri...">environment.h</a>&quot;</span>
<a name="l00047"></a>00047 <span class="preprocessor">#include &quot;<a class="code" href="error_8h.html" title="Provides an error handling function that optionally throws an exception.">error.h</a>&quot;</span>
<a name="l00048"></a>00048 
<a name="l00049"></a>00049 <span class="keyword">namespace </span>infact {
<a name="l00050"></a>00050 
<a name="l00051"></a>00051 <span class="keyword">using</span> std::ostringstream;
<a name="l00052"></a>00052 <span class="keyword">using</span> std::string;
<a name="l00053"></a>00053 <span class="keyword">using</span> std::unordered_map;
<a name="l00054"></a>00054 <span class="keyword">using</span> std::unordered_set;
<a name="l00055"></a>00055 
<a name="l00060"></a><a class="code" href="classinfact_1_1_environment_impl.html">00060</a> <span class="keyword">class </span><a class="code" href="classinfact_1_1_environment_impl.html" title="Provides a set of named variables and their types, as well as the values for those variables...">EnvironmentImpl</a> : <span class="keyword">public</span> <a class="code" href="classinfact_1_1_environment.html" title="An interface for an environment in which variables of various types are mapped to their values...">Environment</a> {
<a name="l00061"></a>00061  <span class="keyword">public</span>:
<a name="l00066"></a>00066   <a class="code" href="classinfact_1_1_environment_impl.html#acdb724d25b8bb4f2052fbc472cc801b8" title="Constructs a new, empty environment.">EnvironmentImpl</a>(<span class="keywordtype">int</span> debug = 0);
<a name="l00067"></a>00067 
<a name="l00069"></a><a class="code" href="classinfact_1_1_environment_impl.html#a89accdf0129a7eb8ce154fe47ac1733a">00069</a>   <span class="keyword">virtual</span> <a class="code" href="classinfact_1_1_environment_impl.html#a89accdf0129a7eb8ce154fe47ac1733a" title="Destroys this environment.">~EnvironmentImpl</a>() {
<a name="l00070"></a>00070     <span class="keywordflow">for</span> (unordered_map&lt;string, VarMapBase *&gt;::iterator it = var_map_.begin();
<a name="l00071"></a>00071          it != var_map_.end(); ++it) {
<a name="l00072"></a>00072       <span class="keyword">delete</span> it-&gt;second;
<a name="l00073"></a>00073     }
<a name="l00074"></a>00074   }
<a name="l00075"></a>00075 
<a name="l00078"></a><a class="code" href="classinfact_1_1_environment_impl.html#a860456940cd44b37ed32f68da30c4b59">00078</a>   <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classinfact_1_1_environment_impl.html#a860456940cd44b37ed32f68da30c4b59" title="Returns whether the specified variable has been defined in this environment.">Defined</a>(<span class="keyword">const</span> <span class="keywordtype">string</span> &amp;varname)<span class="keyword"> const </span>{
<a name="l00079"></a>00079     unordered_map&lt;string, string&gt;::const_iterator it = types_.find(varname);
<a name="l00080"></a>00080     <span class="keywordflow">return</span> it != types_.end();
<a name="l00081"></a>00081   }
<a name="l00082"></a>00082 
<a name="l00085"></a>00085   <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classinfact_1_1_environment_impl.html#a08ed9a5a3af560d43a3b81f6d273fe73" title="Sets the specified variable to the value obtained from the following tokens available from the specif...">ReadAndSet</a>(<span class="keyword">const</span> <span class="keywordtype">string</span> &amp;varname, <a class="code" href="classinfact_1_1_stream_tokenizer.html" title="A simple class for tokenizing a stream of tokens for the formally specified language used to construc...">StreamTokenizer</a> &amp;st,
<a name="l00086"></a>00086                           <span class="keyword">const</span> <span class="keywordtype">string</span> type);
<a name="l00087"></a>00087 
<a name="l00088"></a><a class="code" href="classinfact_1_1_environment_impl.html#a7e0f9fb13e56dbcff3bc758ee891c576">00088</a>   <span class="keyword">virtual</span> <span class="keyword">const</span> <span class="keywordtype">string</span> &amp;<a class="code" href="classinfact_1_1_environment_impl.html#a7e0f9fb13e56dbcff3bc758ee891c576" title="Retrieves the type name of the specified variable.">GetType</a>(<span class="keyword">const</span> <span class="keywordtype">string</span> &amp;varname)<span class="keyword"> const </span>{
<a name="l00089"></a>00089     unordered_map&lt;string, string&gt;::const_iterator type_it =
<a name="l00090"></a>00090         types_.find(varname);
<a name="l00091"></a>00091     <span class="keywordflow">if</span> (type_it == types_.end()) {
<a name="l00092"></a>00092       <span class="comment">// Error or warning.</span>
<a name="l00093"></a>00093     }
<a name="l00094"></a>00094     <span class="keywordflow">return</span> type_it-&gt;second;
<a name="l00095"></a>00095   }
<a name="l00096"></a>00096 
<a name="l00097"></a><a class="code" href="classinfact_1_1_environment_impl.html#ae782bde5b379605f086aa228786e1614">00097</a>   <span class="keyword">virtual</span> <a class="code" href="classinfact_1_1_var_map_base.html" title="A base class for a mapping from variables of a specific type to their values.">VarMapBase</a> *<a class="code" href="classinfact_1_1_environment_impl.html#ae782bde5b379605f086aa228786e1614" title="Retrieves the VarMap instance for the specified variable.">GetVarMap</a>(<span class="keyword">const</span> <span class="keywordtype">string</span> &amp;varname) {
<a name="l00098"></a>00098     <span class="keywordflow">return</span> <a class="code" href="classinfact_1_1_environment_impl.html#a5433284710ffbf5ce5d5a83c7b275d96" title="Retrieves the VarMap instance for the specified type.">GetVarMapForType</a>(<a class="code" href="classinfact_1_1_environment_impl.html#a7e0f9fb13e56dbcff3bc758ee891c576" title="Retrieves the type name of the specified variable.">GetType</a>(varname));
<a name="l00099"></a>00099   }
<a name="l00100"></a>00100 
<a name="l00102"></a><a class="code" href="classinfact_1_1_environment_impl.html#a5433284710ffbf5ce5d5a83c7b275d96">00102</a>   <span class="keyword">virtual</span> <a class="code" href="classinfact_1_1_var_map_base.html" title="A base class for a mapping from variables of a specific type to their values.">VarMapBase</a> *<a class="code" href="classinfact_1_1_environment_impl.html#a5433284710ffbf5ce5d5a83c7b275d96" title="Retrieves the VarMap instance for the specified type.">GetVarMapForType</a>(<span class="keyword">const</span> <span class="keywordtype">string</span> &amp;type) {
<a name="l00103"></a>00103     <span class="keywordtype">string</span> lookup_type = type;
<a name="l00104"></a>00104     <span class="comment">// First, check if this is a concrete Factory-constructible type.</span>
<a name="l00105"></a>00105     <span class="comment">// If so, map to its abstract type name.</span>
<a name="l00106"></a>00106     unordered_map&lt;string, string&gt;::const_iterator factory_type_it =
<a name="l00107"></a>00107         concrete_to_factory_type_.find(type);
<a name="l00108"></a>00108     <span class="keywordflow">if</span> (factory_type_it != concrete_to_factory_type_.end()) {
<a name="l00109"></a>00109       lookup_type = factory_type_it-&gt;second;
<a name="l00110"></a>00110     }
<a name="l00111"></a>00111 
<a name="l00112"></a>00112     unordered_map&lt;string, VarMapBase *&gt;::const_iterator var_map_it =
<a name="l00113"></a>00113         var_map_.find(lookup_type);
<a name="l00114"></a>00114     <span class="keywordflow">if</span> (var_map_it == var_map_.end()) {
<a name="l00115"></a>00115       <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;
<a name="l00116"></a>00116     }
<a name="l00117"></a>00117     <span class="keywordflow">return</span> var_map_it-&gt;second;
<a name="l00118"></a>00118   }
<a name="l00119"></a>00119 
<a name="l00121"></a><a class="code" href="classinfact_1_1_environment_impl.html#aff054f1a302a29895153659a64a3640f">00121</a>   <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classinfact_1_1_environment_impl.html#aff054f1a302a29895153659a64a3640f">Print</a>(ostream &amp;os)<span class="keyword"> const </span>{
<a name="l00122"></a>00122     <span class="keywordflow">for</span> (unordered_map&lt;string, VarMapBase *&gt;::const_iterator var_map_it =
<a name="l00123"></a>00123              var_map_.begin();
<a name="l00124"></a>00124          var_map_it != var_map_.end(); ++var_map_it) {
<a name="l00125"></a>00125       var_map_it-&gt;second-&gt;Print(os);
<a name="l00126"></a>00126     }
<a name="l00127"></a>00127   }
<a name="l00128"></a>00128 
<a name="l00130"></a>00130   <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classinfact_1_1_environment_impl.html#ade3c929f1d27210acb6e72e18dce0fd5">PrintFactories</a>(ostream &amp;os) <span class="keyword">const</span>;
<a name="l00131"></a>00131 
<a name="l00133"></a><a class="code" href="classinfact_1_1_environment_impl.html#afba2b4f35f17aec2a80e7b07cb87b157">00133</a>   <span class="keyword">virtual</span> <a class="code" href="classinfact_1_1_environment.html" title="An interface for an environment in which variables of various types are mapped to their values...">Environment</a> *<a class="code" href="classinfact_1_1_environment_impl.html#afba2b4f35f17aec2a80e7b07cb87b157">Copy</a>()<span class="keyword"> const </span>{
<a name="l00134"></a>00134     <a class="code" href="classinfact_1_1_environment_impl.html" title="Provides a set of named variables and their types, as well as the values for those variables...">EnvironmentImpl</a> *new_env = <span class="keyword">new</span> <a class="code" href="classinfact_1_1_environment_impl.html#acdb724d25b8bb4f2052fbc472cc801b8" title="Constructs a new, empty environment.">EnvironmentImpl</a>(*<span class="keyword">this</span>);
<a name="l00135"></a>00135     <span class="comment">// Now go through and create copies of each VarMap.</span>
<a name="l00136"></a>00136     <span class="keywordflow">for</span> (unordered_map&lt;string, VarMapBase *&gt;::iterator new_env_var_map_it =
<a name="l00137"></a>00137              new_env-&gt;var_map_.begin();
<a name="l00138"></a>00138          new_env_var_map_it != new_env-&gt;var_map_.end(); ++new_env_var_map_it) {
<a name="l00139"></a>00139       new_env_var_map_it-&gt;second = new_env_var_map_it-&gt;second-&gt;Copy(new_env);
<a name="l00140"></a>00140     }
<a name="l00141"></a>00141     <span class="keywordflow">return</span> new_env;
<a name="l00142"></a>00142   }
<a name="l00143"></a>00143 
<a name="l00152"></a>00152   <span class="keyword">template</span>&lt;<span class="keyword">typename</span> T&gt;
<a name="l00153"></a>00153   <span class="keywordtype">bool</span> <a class="code" href="classinfact_1_1_environment_impl.html#a4c7040cdaade112f6cef88cff8c4ee6c" title="Retrieves the value of the variable with the specified name and puts into into the object pointed to ...">Get</a>(<span class="keyword">const</span> <span class="keywordtype">string</span> &amp;varname, T *value) <span class="keyword">const</span>;
<a name="l00154"></a>00154 
<a name="l00155"></a>00155  <span class="keyword">private</span>:
<a name="l00157"></a>00157   <span class="keywordtype">string</span> InferType(<span class="keyword">const</span> <span class="keywordtype">string</span> &amp;varname,
<a name="l00158"></a>00158                    <span class="keyword">const</span> <a class="code" href="classinfact_1_1_stream_tokenizer.html" title="A simple class for tokenizing a stream of tokens for the formally specified language used to construc...">StreamTokenizer</a> &amp;st, <span class="keywordtype">bool</span> is_vector,
<a name="l00159"></a>00159                    <span class="keywordtype">bool</span> *is_object_type);
<a name="l00160"></a>00160 
<a name="l00162"></a>00162   unordered_map&lt;string, string&gt; types_;
<a name="l00163"></a>00163 
<a name="l00166"></a>00166   unordered_map&lt;string, VarMapBase *&gt; var_map_;
<a name="l00167"></a>00167 
<a name="l00170"></a>00170   unordered_map&lt;string, string&gt; concrete_to_factory_type_;
<a name="l00171"></a>00171 
<a name="l00172"></a>00172   <span class="keywordtype">int</span> debug_;
<a name="l00173"></a>00173 };
<a name="l00174"></a>00174 
<a name="l00175"></a>00175 <span class="keyword">template</span>&lt;<span class="keyword">typename</span> T&gt;
<a name="l00176"></a>00176 <span class="keywordtype">bool</span>
<a name="l00177"></a><a class="code" href="classinfact_1_1_environment_impl.html#a4c7040cdaade112f6cef88cff8c4ee6c">00177</a> <a class="code" href="classinfact_1_1_environment_impl.html#a4c7040cdaade112f6cef88cff8c4ee6c" title="Retrieves the value of the variable with the specified name and puts into into the object pointed to ...">EnvironmentImpl::Get</a>(<span class="keyword">const</span> <span class="keywordtype">string</span> &amp;varname, T *value)<span class="keyword"> const </span>{
<a name="l00178"></a>00178   unordered_map&lt;string, string&gt;::const_iterator type_it =
<a name="l00179"></a>00179       types_.find(varname);
<a name="l00180"></a>00180   <span class="keywordflow">if</span> (type_it == types_.end()) {
<a name="l00181"></a>00181     <span class="keywordflow">if</span> (debug_ &gt;= 1) {
<a name="l00182"></a>00182       ostringstream err_ss;
<a name="l00183"></a>00183       err_ss &lt;&lt; <span class="stringliteral">&quot;Environment::Get: error: no value for variable &quot;</span>
<a name="l00184"></a>00184              &lt;&lt; varname;
<a name="l00185"></a>00185       cerr &lt;&lt; err_ss.str() &lt;&lt; endl;
<a name="l00186"></a>00186     }
<a name="l00187"></a>00187     <span class="keywordflow">return</span> <span class="keyword">false</span>;
<a name="l00188"></a>00188   }
<a name="l00189"></a>00189 
<a name="l00190"></a>00190   <span class="comment">// Now that we have the type, look up the VarMap.</span>
<a name="l00191"></a>00191   <span class="keyword">const</span> <span class="keywordtype">string</span> &amp;type = type_it-&gt;second;
<a name="l00192"></a>00192   unordered_map&lt;string, VarMapBase*&gt;::const_iterator var_map_it =
<a name="l00193"></a>00193       var_map_.find(type);
<a name="l00194"></a>00194 
<a name="l00195"></a>00195   <span class="keywordflow">if</span> (var_map_it == var_map_.end()) {
<a name="l00196"></a>00196     ostringstream err_ss;
<a name="l00197"></a>00197     err_ss &lt;&lt; <span class="stringliteral">&quot;Environment::Get: error: types_ and var_map_ data members &quot;</span>
<a name="l00198"></a>00198            &lt;&lt; <span class="stringliteral">&quot;are out of sync&quot;</span>;
<a name="l00199"></a>00199     <a class="code" href="namespaceinfact.html#a746fb382cf3fd6cf656f40669d90372c" title="Reports an error encountered during parsing and/or construction of an object.">Error</a>(err_ss.str());
<a name="l00200"></a>00200   }
<a name="l00201"></a>00201 
<a name="l00202"></a>00202   <span class="comment">// Do a dynamic_cast down to the type-specific VarMap.</span>
<a name="l00203"></a>00203   <a class="code" href="classinfact_1_1_var_map_base.html" title="A base class for a mapping from variables of a specific type to their values.">VarMapBase</a> *var_map = var_map_it-&gt;second;
<a name="l00204"></a>00204   <a class="code" href="classinfact_1_1_var_map.html" title="A container to hold the mapping between named variables of a specific type and their values...">VarMap&lt;T&gt;</a> *typed_var_map = <span class="keyword">dynamic_cast&lt;</span><a class="code" href="classinfact_1_1_var_map.html" title="A container to hold the mapping between named variables of a specific type and their values...">VarMap&lt;T&gt;</a> *<span class="keyword">&gt;</span>(var_map);
<a name="l00205"></a>00205 
<a name="l00206"></a>00206   <span class="keywordflow">if</span> (typed_var_map == <span class="keyword">nullptr</span>) {
<a name="l00207"></a>00207     ostringstream err_ss;
<a name="l00208"></a>00208     err_ss &lt;&lt; <span class="stringliteral">&quot;Environment::Get: error: no value for variable &quot;</span>
<a name="l00209"></a>00209            &lt;&lt; varname &lt;&lt; <span class="stringliteral">&quot; of type &quot;</span> &lt;&lt; <span class="keyword">typeid</span>(*value).name()
<a name="l00210"></a>00210            &lt;&lt; <span class="stringliteral">&quot;; perhaps you meant &quot;</span> &lt;&lt; type &lt;&lt; <span class="stringliteral">&quot;?&quot;</span>;
<a name="l00211"></a>00211     cerr &lt;&lt; err_ss.str() &lt;&lt; endl;
<a name="l00212"></a>00212     <span class="keywordflow">return</span> <span class="keyword">false</span>;
<a name="l00213"></a>00213   }
<a name="l00214"></a>00214   <span class="keywordtype">bool</span> success = typed_var_map-&gt;<a class="code" href="classinfact_1_1_var_map_impl.html#a7995e8a182a980899b4a0c90eee0d110" title="Assigns the value of the specified variable to the object pointed to by the value parameter...">Get</a>(varname, value);
<a name="l00215"></a>00215   <span class="keywordflow">if</span> (!success) {
<a name="l00216"></a>00216     ostringstream err_ss;
<a name="l00217"></a>00217     err_ss &lt;&lt; <span class="stringliteral">&quot;Environment::Get: error: no value for variable &quot;</span>
<a name="l00218"></a>00218            &lt;&lt; varname &lt;&lt; <span class="stringliteral">&quot; of type &quot;</span> &lt;&lt; <span class="keyword">typeid</span>(*value).name()
<a name="l00219"></a>00219            &lt;&lt; <span class="stringliteral">&quot;; types_ and var_map_ data members are out of sync&quot;</span>;
<a name="l00220"></a>00220     <a class="code" href="namespaceinfact.html#a746fb382cf3fd6cf656f40669d90372c" title="Reports an error encountered during parsing and/or construction of an object.">Error</a>(err_ss.str());
<a name="l00221"></a>00221   }
<a name="l00222"></a>00222   <span class="keywordflow">return</span> success;
<a name="l00223"></a>00223   }
<a name="l00224"></a>00224 
<a name="l00225"></a>00225 }  <span class="comment">// namespace infact</span>
<a name="l00226"></a>00226 
<a name="l00227"></a>00227 <span class="preprocessor">#endif</span>
</pre></div></div><!-- contents -->
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Files</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark">&#160;</span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark">&#160;</span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark">&#160;</span>Defines</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>



<hr class="footer"/><address class="footer"><small>
Generated on Wed Apr 23 2014 10:07:52 for InFact by &#160;<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.7.6.1
</small></address>

</body>
</html>
